$\forall$$A$, $B$:Realizer, ${\it ns}$, ${\it ms}$:(MaName List). $A$ $\subseteq$ $B$ $\Rightarrow$ ${\it ns}$ $\subseteq$ ${\it ms}$ $\Rightarrow$ $A$$\mid$${\it ns}$ $\subseteq$ $B$$\mid$${\it ms}$